Xavier Leroy - PDFSEARCH.IO - Document Search Engine

Xavier Leroy
Results: 125

#	Item
11	Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011 Add to Reading List Source URL: xavierleroy.org Language: English - Date: 2018-08-01 14:49:25
12	Trust in compilers, code generators, and software verification tools Xavier Leroy Inria Paris Embedded Real Time Software and Systems, Add to Reading List Source URL: xavierleroy.org Language: English - Date: 2018-08-01 14:49:25
13	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: jtristan.github.io Language: English - Date: 2018-06-24 11:22:27
14	The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2017-11-03 12:23:36
15	Formal Verification of Code Generators for Modeling Languages (Invited Talk) Xavier Leroy Inria, Paris, France Add to Reading List Source URL: refal.botik.ru - Date: 2018-03-19 17:25:59
16	The OCaml system release 4.06 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr - Date: 2017-11-03 12:23:36
17	T HE EASST N EWSLETTER Maintaining large software distributions: new challenges from the FOSS era Roberto Di Cosmo and Berke Durak and Xavier Leroy and Fabio Mancinelli and J´erˆome Add to Reading List Source URL: gallium.inria.fr - Date: 2006-03-03 16:48:23
18	The OCaml system release 4.04 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr - Date: 2016-11-04 12:44:19
19	Exploiting type systems and static analyses for smart card security Xavier Leroy INRIA Rocquencourt & Add to Reading List Source URL: pauillac.inria.fr - Date: 2004-03-15 03:30:14
20	From Krivine’s machine to the Caml implementations Xavier Leroy INRIA Rocquencourt 1 Add to Reading List Source URL: pauillac.inria.fr - Date: 2005-05-18 04:32:58

UPDATE